<html>
<head><meta charset="utf-8"><title>Difference between the supertrait and where clause · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Difference.20between.20the.20supertrait.20and.20where.20clause.html">Difference between the supertrait and where clause</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="233995741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/Difference%20between%20the%20supertrait%20and%20where%20clause/near/233995741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Gary Guo <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/Difference.20between.20the.20supertrait.20and.20where.20clause.html#233995741">(Apr 10 2021 at 22:52)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/84075">#84075</a> shows a way to use where clauses to circumvent supertrait limitation on auto trait to get unsoundness. It made we wonder if Rust treats supertraits and where clauses equally. Are they treated differently or will they unified at a particular stage (probably typeck)?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>